Decimation and interleaving operations in one-sided symbolic dynamics

Optimizing the Synchronization Operations in MPI One-Sided Communication∗

One-sided communication in MPI requires the use of one of three different synchronization mechanisms, which indicate when the one-sided operation can be started and when the operation is completed. Efficient implementation of the synchronization mechanisms is critical to achieving good performance with one-sided communication. Our performance measurements, however, indicate that in many MPI imp...

One-Sided Interval Trees

We give an alternative treatment and extension of some results of Itoh and Mahmoud on one-sided interval trees. The proofs are based on renewal theory, including a case with mixed multiplicative and additive renewals.

Interleaving Symbolic Execution and Partial Evaluation

Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advantage to speed up as well symbolic execution of programs. Interestingly, the input required for partial evaluation comes from symbolic execution itself which makes it natural to interleave partial evaluation and symbolic...

Decimation in more then one dimension

We develop a formalism for performing real space renormalization group transformations of the " decimation type " using perturbation theory. The type of transformations beyond d = 1 is nontrivial even for free theories. We check the formalism on solvable case of O(N) symmetric Heisenberg chain. The transformation is particularly useful to study asymptotically free theories. Results for one clas...

One - sided Versus Two - sided Error in